Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 14.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 002E32 | Duc-Khanh Tran [Allemagne] ; Christophe Ringeissen [France] ; Silvio Ranise [Italie] ; Hélène Kirchner [France] | Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation |
| 003759 | Alessandro Armando [Italie] ; Maria Paola Bonacina [Italie] ; Silvio Ranise [France] ; Stephan Schulz [Italie] | New results on rewrite-based satisfiability procedures |
| 004598 | Duc-Khanh Tran [France] ; Christophe Ringeissen [France] ; Silvio Ranise [France] ; Hélène Kirchner [France] | Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation |
| 004F53 | Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Automatic Combinability of Rewriting-Based Satisfiability Procedures |
| 005034 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Producing Conflict Sets for Combination of Theories |
| 005194 | Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Building and Combining Satisfiability Procedures for Software Verification |
| 005888 | Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | On Superposition-Based Satisfiability Procedures and their Combination |
| 005921 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Calogero Zarba [États-Unis] | Combining data structures with nonstably infinite theories using many-sorted logic |
| 005927 | Najet Boughanmi [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] | On Structural Information and the Experimental Evaluation of SMT Tools |
| 005A75 | Pascal Fontaine [France] ; Silvio Ranise [France] ; Calogero Zarba [France] | Combining Lists with Non-Stably Infinite Theories |
| 006544 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Calogero Zarba | Combining Data Structures with Nonstably Infinite Theories using Many-Sorted Logic |
| 006650 | Jean-François Couchot [France] ; Frédéric Dadeau [France] ; David Déharbe [France] ; Silvio Ranise [France] | Proving and Debugging Set-Based Specifications |
| 006F48 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn |
| 008B77 | David Déharbe ; Silvio Ranise [France] | BDD-Driven First-Order Satisfiability Procedures (Extended Version) |
| This area was generated with Dilib version V0.6.33. |  |